Gödel’s unpublished papers on foundations of mathematics
نویسنده
چکیده
Kurt Gödel: Collected Works Volume III [Gödel, 1995] contains a selection from Gödel’s Nachlass; it consists of texts of lectures, notes for lectures and manuscripts of papers that for one reason or another Gödel chose not to publish. I will discuss those papers in it that are concerned with the foundations/philosophy of mathematics in relation to his well-known published papers on this topic.
منابع مشابه
Gödel’s Completeness and Incompleteness Theorems
This paper will discuss the completeness and incompleteness theorems of Kurt Gödel. These theorems have a profound impact on the philosophical perception of mathematics and call into question the readily apparent strength of the system itself. This paper will discuss the theorems themselves, their philosophical impact on the study of mathematics and some of the logical background necessary to u...
متن کاملThe Cambridge companion to
Cambridge University Press, Cambridge, UK and New York, US, xvii + 550 pp.— therein: Ivor Grattan-Guinness. Mathematics in and behind Russell’s logicism, and its reception. Pp. 51–83. Richard Cartwright. Russell and Moore: 1895–1905. Pp. 108–127. Peter Hylton. The theory of descriptions. Pp. 202–240. Martin Godwyn and Andrew D. Irvine. Bertrand Russell’s logicism. Pp. 171–201. Michael Beaney. R...
متن کاملThe Axiom of Choice in the Foundations of Mathematics
The principle of set theory known as the Axiom of Choice (AC) has been hailed as “probably the most interesting and, in spite of its late appearance, the most discussed axiom of mathematics, second only to Euclid’s axiom of parallels which was introduced more than two thousand years ago”1 It has been employed in countless mathematical papers, a number of monographs have been exclusively devoted...
متن کاملRonald Graham: Laying the Foundations of Online Optimization
This chapter highlights fundamental contributions made by Ron Graham in the area of online optimization. In an online problem relevant input data is not completely known in advance but instead arrives incrementally over time. In two seminal papers on scheduling published in the 1960s, Ron Graham introduced the concept of worst-case approximation that allows one to evaluate solutions computed on...
متن کاملCoauthorship and the Measurement of Individual Productivity
We propose a new index of individual scientific productivity that formally accounts for coauthorship, separating individual from collective productivity. In contrast to existing measures, our index, CoScore, reflects the complete coauthorship network, not only the publication record of the author being ranked. CoScore uses the varying levels of success of all academic partnerships to infer, sim...
متن کامل